if pq ∥ st